<?xml version="1.0" encoding="UTF-8"?>
<model modelUID="r:e3578da6-d462-4d62-a9e4-3b4ef3fcacb8(jetbrains.mps.spellchecker.sandbox.sandbox)">
  <persistence version="3" />
  <refactoringHistory />
  <language namespace="14b20cbc-f072-413d-ba29-39dab79cf659(spbsu.silina.grammarPropertiesLanguage)" />
  <language namespace="daafa647-f1f7-4b0b-b096-69cd7c8408c0(jetbrains.mps.baseLanguage.regexp)" />
  <language namespace="f3061a53-9226-4cc5-a443-f952ceaf5816(jetbrains.mps.baseLanguage)" />
  <language namespace="9b52795e-19cf-42a7-b1f8-34b1f69a06e5(spbsu.silina.grammarLanguage)" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590515(jetbrains.mps.baseLanguage.regexp.constraints)" version="3" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590518(jetbrains.mps.baseLanguage.regexp.structure)" version="0" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590283(jetbrains.mps.lang.core.constraints)" version="2" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" version="0" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895902c1(jetbrains.mps.baseLanguage.constraints)" version="83" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895902ca(jetbrains.mps.baseLanguage.structure)" version="1" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895902db(jetbrains.mps.baseLanguage.blTypes.constraints)" version="0" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c895903fe(jetbrains.mps.baseLanguage.strings.constraints)" version="1" />
  <languageAspect modelUID="r:00000000-0000-4000-0000-011c89590402(jetbrains.mps.baseLanguage.strings.structure)" version="9" />
  <languageAspect modelUID="r:90a758ef-89a0-4ded-bad9-7ed91558f8ef(spbsu.silina.grammarPropertiesLanguage.structure)" version="2" />
  <languageAspect modelUID="r:1d8ced81-8052-4a9e-9d77-9536ad5adb31(spbsu.silina.grammarLanguage.structure)" version="0" />
  <maxImportIndex value="0" />
  <node type="spbsu.silina.grammarLanguage.structure.Grammar" id="1235214713784">
    <property name="name" value="SimpleGrammar" />
    <node role="terminal" type="spbsu.silina.grammarLanguage.structure.Terminal" id="1235214731659">
      <property name="name" value="a" />
    </node>
    <node role="terminal" type="spbsu.silina.grammarLanguage.structure.Terminal" id="1235214743289">
      <property name="name" value="b" />
    </node>
    <node role="startSymbol" type="spbsu.silina.grammarLanguage.structure.StartSymbol" id="1235216010173">
      <link role="s" targetNodeId="1235215926881" resolveInfo="A" />
    </node>
    <node role="nonTerminal" type="spbsu.silina.grammarLanguage.structure.NonTerminal" id="1235214977487">
      <property name="name" value="B" />
      <node role="production" type="spbsu.silina.grammarLanguage.structure.Production" id="1235214977488">
        <node role="symbolString" type="spbsu.silina.grammarLanguage.structure.SymbolString" id="1235215005370">
          <node role="symbolReference" type="spbsu.silina.grammarLanguage.structure.SymbolReference" id="1235215334705">
            <link role="symbol" targetNodeId="1235214731659" resolveInfo="a" />
          </node>
          <node role="symbolReference" type="spbsu.silina.grammarLanguage.structure.SymbolReference" id="1235215356948">
            <link role="symbol" targetNodeId="1235214743289" resolveInfo=" b" />
          </node>
        </node>
      </node>
    </node>
    <node role="nonTerminal" type="spbsu.silina.grammarLanguage.structure.NonTerminal" id="1235215926881">
      <property name="name" value="A" />
      <node role="production" type="spbsu.silina.grammarLanguage.structure.Production" id="1235216285044">
        <node role="symbolString" type="spbsu.silina.grammarLanguage.structure.Epsilon" id="1235216290752" />
      </node>
      <node role="production" type="spbsu.silina.grammarLanguage.structure.Production" id="1235215926882">
        <node role="symbolString" type="spbsu.silina.grammarLanguage.structure.SymbolString" id="1235215941220">
          <node role="symbolReference" type="spbsu.silina.grammarLanguage.structure.SymbolReference" id="1235215948477">
            <link role="symbol" targetNodeId="1235215926881" resolveInfo="A" />
          </node>
          <node role="symbolReference" type="spbsu.silina.grammarLanguage.structure.SymbolReference" id="1235215955617">
            <link role="symbol" targetNodeId="1235214731659" resolveInfo="a" />
          </node>
        </node>
      </node>
    </node>
  </node>
  <node type="spbsu.silina.grammarPropertiesLanguage.structure.RuleSet" id="1235326459173">
    <property name="name" value="SimpleGrammarRulesSet" />
    <node role="formula" type="spbsu.silina.grammarPropertiesLanguage.structure.NonTerminalForAll" id="1235327035370">
      <node role="nonTerminal" type="spbsu.silina.grammarPropertiesLanguage.structure.NonTerminal" id="1235327035371">
        <property name="name" value="A" />
      </node>
      <node role="formula" type="spbsu.silina.grammarPropertiesLanguage.structure.Negotiation" id="1235327313182">
        <node role="formula" type="spbsu.silina.grammarPropertiesLanguage.structure.ProductionExists" id="1235327323287">
          <link role="nonterminal" targetNodeId="1235327035371" resolveInfo="A" />
          <node role="production" type="spbsu.silina.grammarPropertiesLanguage.structure.Production" id="1235327323288">
            <property name="name" value="x" />
          </node>
          <node role="formula" type="spbsu.silina.grammarPropertiesLanguage.structure.ProductionExists" id="1235327340966">
            <link role="nonterminal" targetNodeId="1235327035371" resolveInfo="A" />
            <node role="production" type="spbsu.silina.grammarPropertiesLanguage.structure.Production" id="1235327340967">
              <property name="name" value="y" />
            </node>
            <node role="formula" type="spbsu.silina.grammarPropertiesLanguage.structure.Negotiation" id="1235327764202">
              <node role="formula" type="spbsu.silina.grammarPropertiesLanguage.structure.SetIsEmpty" id="1235327765981">
                <node role="set" type="spbsu.silina.grammarPropertiesLanguage.structure.Intersection" id="1235327765982">
                  <node role="set1" type="spbsu.silina.grammarPropertiesLanguage.structure.First" id="1235393659259">
                    <link role="variable" targetNodeId="1235327323288" resolveInfo="x" />
                  </node>
                  <node role="set2" type="spbsu.silina.grammarPropertiesLanguage.structure.First" id="1235327765985">
                    <link role="variable" targetNodeId="1235327340967" resolveInfo="y" />
                  </node>
                </node>
              </node>
            </node>
          </node>
        </node>
      </node>
    </node>
    <node role="formula" type="spbsu.silina.grammarPropertiesLanguage.structure.NonTerminalForAll" id="1235328601698">
      <node role="nonTerminal" type="spbsu.silina.grammarPropertiesLanguage.structure.NonTerminal" id="1235328606880">
        <property name="name" value="A" />
      </node>
      <node role="formula" type="spbsu.silina.grammarPropertiesLanguage.structure.Negotiation" id="1235328763546">
        <node role="formula" type="spbsu.silina.grammarPropertiesLanguage.structure.LeftmostDerivation" id="1235328814636">
          <link role="nonterminal" targetNodeId="1235327035371" resolveInfo="A" />
          <node role="regexp" type="spbsu.silina.grammarPropertiesLanguage.structure.RegexpSequence" id="1235328814637">
            <node role="regexp" type="spbsu.silina.grammarPropertiesLanguage.structure.RegexpSymbolReference" id="1235328814638">
              <link role="symbol" targetNodeId="1235327035371" resolveInfo="A" />
            </node>
            <node role="regexp" type="spbsu.silina.grammarPropertiesLanguage.structure.RegexpIteration" id="1235328814639">
              <property name="cardinality" value="*" />
              <node role="regexp" type="spbsu.silina.grammarPropertiesLanguage.structure.RegexpDot" id="1235328814640" />
            </node>
          </node>
        </node>
      </node>
    </node>
  </node>
</model>

